< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
介绍了压电陶瓷电子提花机的特点和设计制造中的难点。在阐明压电陶瓷特性的基础上 , 结合电子提花机的实际要求 ,设计了压电陶瓷片作制动元件的选针机构。
上传时间： 2013-12-21
上传用户：qwe1234
简易数字频率计--描述了97年电子设计大赛中B题的一些思路和方法。
上传时间： 2013-11-28
上传用户：xaijhqx
本文设计的电子提花机控制器，从纺织发展方 向出发，针对中小型纺织企业的需求，改进了传统 提花机控制器的一些问题。从实际运行效果来看， 控制器运行稳定可靠。差分信号驱动以及反馈校验 使系统具有很强的抗电磁干扰性，误码率很低。电 磁驱动电压低，降低了电源功率，提高了系统的稳r 定性。采用光纤通信进行信号传输与驱动方案，提 高传输距离和可靠性，为电子提花机的升级打下了 良好的基础。设计中芯片选取低功耗节能型芯片， 降低整机功耗，节约成本。使用U盘作为花型文件 的存储介质，大大提高了花型设计的速度，降低了 设计成本。配合以双路复合式电磁选针器和单动式 提针机构，整机造价可降低60％以上¨J。总的来 说，该控制器成本低廉，性能良好，维护方便，为 中小型纺织企业节省成本，提高效益，值得推广。
上传时间： 2015-05-05
上传用户：yezi123
摘要:为解决基于单片机的电子提花机所面临的问题,提出一种新的基于单片机W78E516B的嵌入式提花机控制器,包括硬件电路和单片机软件.分析了控制器实际中遇到的及可能遇到的技术问题,提出相应的对策.用盘代替软盘输入花样数据,解决了花样纬数受限制的实际问题.控制器实现了意外停机保护功能,且意外停机后可以快速恢复生产,文件管理系统经过反复拷贝删除也不会产生碎片.经在多家工厂运行,结果表明使用该控制器的提花机动作简洁、准确.关键词:提花机;控制器;单片机;USB;文件管理
上传时间： 2013-11-11
上传用户：banyou
电予掇花橇网络控隶l方案采麓网络应麓中的以太网结构开发，使用方便，中心控制服务器可以根据提花机特点制定适于织造不同花色品种的作业计划和最佳织造工艺参数，可以做妥实时监控现场各台提花辊的生产情凝帮运转效率，节省人工，也可以随时打印每台提花机实际织造的提花织物，还可提供新设计的品种实榉，应用功能上基本接近园终生产的联网提花橇的功链。
上传时间： 2015-05-05
上传用户：yezi123
摘要:本文设计的提花机控制系统将织物花型设计从软盘传输到提花机，弥补了提花机由纸板提供数据输入的不足。本文介绍了该控制系统的软、硬件设计，并给出几种提高系统可靠性的措施关键词:提花机控制系统，软盘，可靠性
上传时间： 2013-10-13
上传用户：hanwu
630D电子套结机使用说明书.
上传时间： 2014-01-23
上传用户：yl8908
％直接型到并联型的转换 ％ ％[C,B,A]=dir2par(b,a) ％C为当b的长度大于a时的多项式部分 ％B为包含各bk的K乘2维实系数矩阵 ％A为包含各ak的K乘3维实系数矩阵 ％b为直接型分子多项式系数 ％a为直接型分母多项式系数 ％
上传时间： 2014-01-20
上传用户：lizhen9880
直接型到级联型的形式转换 ％ [b0,B,A]=dir2cas(b,a) ％b 为直接型的分子多项式系数 ％a 为直接型的分母多项式系数 ％b0为增益系数 ％B 为包含各bk的K乘3维实系数矩阵 ％A 为包含各ak的K乘3维实系数矩阵 ％
上传时间： 2013-12-30
上传用户：agent
